22

Design of safe control system thanks to a combinatorial optimization

Year:
2003
Language:
english
File:
PDF, 579 KB
english, 2003
26

Behavioural Validation from a Formal Specification of Smart Equipment

Year:
2001
Language:
english
File:
PDF, 688 KB
english, 2001
32

Distribution diagnosis of networked embedded system

Year:
2008
Language:
english
File:
PDF, 354 KB
english, 2008
35

Models and languages for the interoperability of smart instruments

Year:
1996
Language:
english
File:
PDF, 1.74 MB
english, 1996